161. Introduction to switching and automata theory
پدیدآورنده : Harrison, Michael A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Switching theory,، Sequential machine theory
رده :
QA
401
.
H33
162. Introduction to switching and automata theory
پدیدآورنده : Harrison, Michael A.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Switching theory,، Sequential machine theory
رده :
QA
401
.
H33
163. Introduction to switching & automata theory
پدیدآورنده : HARRISON,MICHAEL A
کتابخانه: (طهران)
موضوع : SWITCHING THEORY , SEQUENTIAL MACHINE THEORY
رده :
QA
401
.
H33
164. Introduction to switching logic
پدیدآورنده : Sheng, Ching-lai
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Switching theory,Sequential machine theory
رده :
QA
401
.
S45
165. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
166. Introduction to the theory of finite automata
پدیدآورنده : Kobrinskii, Natan Efimovich.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
K613
167. Introduction to the theory of finite-state machines.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Sequential machine theory.,Automates mathématiques, Théorie des.,Machine theory.,Sequential machine theory.,Sequential machine theory.,Théorie des systèmes.
رده :
TJ211
.
G5
168. Kategorien und Automaten
پدیدآورنده : Ehrig, Hartmut
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Categories )Mathematics(,، Sequential machine theory
رده :
QA
169
.
E37
169. Kinetic logic :
پدیدآورنده : ed. by René Thomas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomathematik.,Boolesche Algebra.,Boolescher Verband.
رده :
QH450
.
E339
1979
170. Kombinatorische und sequentielle Netzwerke Grundlagen und Anwendungen den Automatentheorie. Mit 103 Abbildungen und 23 Tabellen
پدیدآورنده : Schulte, Dieter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Algebra, Boollean
رده :
QA
76
.
E532
Bd
.
11
171. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
172. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
173. Lectures on linear sequential machines
پدیدآورنده : Harrison, Michael A
موضوع : ، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
174. Lectures on linear sequential machines
پدیدآورنده : / Michael A. Harrison
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Sequential machine theory
رده :
629
.
89
Ha-L
175. Lernprozesse in stochastischen Automaten
پدیدآورنده : Feichtinger, Gustav
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Stochastic processes,Mathematical models ، Learning, Psychology of
رده :
QA
267
.
5
.
S4
.
F4
176. Linear sequential circuits; analysis, synthesis, and applications
پدیدآورنده : Gill, Arthu
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Electronic digital computers
رده :
TK
7888
.
3
.
G5
177. Linear sequential circuits:analysis synthesis & applications
پدیدآورنده : GILL,ARTHUR
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE-THEORY , ELECTRONIC DIGITAL COMPUTERS
رده :
TK
7888
.
3
.
G5
178. Logic, automata, and algorithms
پدیدآورنده : / by Mark A. Aiserman ...[et la.]; translated by Scripta Technica, translation editor George M. Mark
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Sequential machine theory,Logic, Symmbolic and mathematical,Algorithms
رده :
629
.
891
Lo
179. Logic, automata, and algorithms, Logika, avtomaty, algoritmy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Switching theory,، Algorithms
رده :
QA
267
.
5
.
S4
.
L613
180. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
